1. Proofs and Algorithms : Introduction to Logic and Computability Theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms

رده :
QA
76
.
9
.
L36D68

2. Proofs and Algorithms: an introduction to logic and computability

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms

رده :
QA
9
.
D68
2011